منابع مشابه
Les composants logiques: vers une ingénierie à base de composants
RÉSUMÉ. Les systèmes d’information sont de plus en plus vastes au fur et à mesure de l’ajout de nouvelles fonctionnalités, comme récemment, l’ouverture du système d’information sur Internet. Il est important d’étudier l’unité de partitionnement et de réutilisation la plus pertinente dans le cadre d’analyse de systèmes d’information basée sur les besoins, tout en capitalisant sur les efforts d’a...
متن کاملInférence de non-terminaison pour les programmes logiques avec contraintes
RÉSUMÉ. L’analyse de terminaison des programmes logiques a été sujette à une recherche intensive durant les deux dernières décennies. La majorité des travaux s’est intéressée à la terminaison universelle gauche d’une classe donnée de requêtes, c’est-à-dire au fait que toutes les dérivations des requêtes de cette classe produites par un moteur Prolog sont finies. En revanche, l’étude du problème...
متن کاملSur Les Programmes Logiques Localement Stratii Es 1 on Locally Stratiied Logic Programs
Elementary ideas from topological dynamics are used to provide a constructive approach to Przymusinski s perfect model semantics for locally strati ed normal logic programs Our results utilise level mappings which take values in an arbitrary countable ordinal and our methods are akin to those of Apt Blair and Walker for strati ed programs We show the existence of unique supported models when ce...
متن کاملNotes sur les modèles de jeux, leurs logiques temporelles, et leurs extensions temporisées
Model checking. La vérification automatique des systèmes réactifs, critiques et/ou embarqués est aujourd’hui un problème très important. D’une part, parce que l’usage de ces systèmes s’est considérablement étendu ces dernières années et d’autre part, parce que leur complexité s’est largement accrue. Leur développement, depuis leur spécification jusqu’à leur implémentation, requiert donc des app...
متن کاملComparaison sémantique de textes en language naturel. Une approche par les logiques de description
RÉSUMÉ. Nous proposons une méthode pour la comparaison sémantique de textes en language naturel. Le processus est réalisé en deux étapes. la première consiste à trouver une représentation formelle de la sémantique des deux textes. Nous avons choisi les logiques de description comme formalisme de représentation. La seconde étape vise à comparer les représentations logiques obtenues. Nous avons f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hermès
سال: 2011
ISSN: 1963-1006,0767-9513
DOI: 10.4267/2042/45435